Added types into ast, parser, scanner
Our SAST!! Go forth and code generate :)
Merge branch 'livi'

Conflicts:
	ast.mli
	parser.mly
	scanner.mll