Separate the basic Java library from TypeCheck.hs