Added some error messages to TypeSystem.hs. Need to incorporate errors into ErrorHandling framework. Also need to start on generating type constraints from expressions