Added sast.mli file (semantic abstract syntax tree), fixed indentation issues in ast.mli, add added sast.mli to the Makefile