add initial type expression tests (empty form)
add additional type expression tests, typeasserts (x::T) are not being parsed correctly