Renamed files
TypeCheck implemented for all types of statements.
Methods and up left