[overloading checker] Fixed the implementation of identifying the intersection of types with comprises clauses with the union of their common subtypes.
[parser] Added io to arrow types. Added a test.
[shell] Eliminated the temporary shell commands to test the Scala type checker. Added a flag, -typecheck-java, to the fortress compile command.
