Fixed type errors.
Added type info to make typechecker happy.
Making the typechecker happy.
Changes related to paper.
ParseTree finally passes typechecker.
Updated status of compiling Rascal Libraries: making good progress!
Minor changes