Types: Split file into two parts (one with datatypes, other with inference). Sem: Added basics for determining annotated types.
Merge branch 'master' of github.com:Wassasin/splang

Conflicts:
	Typing.hs
Fixed imports