adds *.out to .gitignore
move primitive types into separate file, types.mli
successfully compiles sast.ml and type.mli
Adds sast.ml (based on ast.ml) and semantic.ml (straight from slides)
Merge branch 'master' into sast

Conflicts:
	quark/ast.ml
	quark/parser.mly
	quark/type.mli
adds quarkc to .gitignore
change var_type to vartype
Merge pull request #27 from quarklang/sast

sast start