Added type operator
Added typecheck
Added some semitypes