started frege equivalent for java.net
Merge branch 'master' into issue3
created interface packages for java.net and java.io
created new java subdirectory with Net.fr and IO.fr
fixed issue #2
Merge branch 'master' of https://github.com/Frege/frege
In deciding whether 2 TCons can be unified,
the type checker now accepts two types with different names,
as long as they both refer to the same java type.
corrected Makefile to compile Javatypes.fr before TCUtil.fr
If x.v, and x is of a native type,
all methods in all types that are this native type are considered.
add Closeable to fege.java.IO
native subtypes and methods of subtypes recognized.
Merge branch 'issue3'
re-wrote GUI interface code and Swing example, now utilizes subtyping
remove constraints on java type variables
Preparations for Kinds
added kind field to TVar and TCon
Sigma types with kind of bound variables.
ensure a clean build of final compiler
Added kind::Kind to SymT (types) and SymA (aliases)
in Enter, provide better initial kinds