Compiler almost done. Added almost all semantics checks