Package refactoring, representation, typechecking, renaming
Modularization of file reading, refactoring and renaming
Refactoring, better error messages