Added test for reading a real qlang file and parsing/typechecking it, which made a bug with some binary operator apparent that is now fixed. Also uses SourceCodeInformation in error messages now and types can return the name of the Object literal they belong to, so I can say that something needs to be of type Bool instead of Booltype.
Renamed actual data holding type superclass to ObjectLiteral to avoid confusion with the new Type classes.