typing test framework
first type test
wip. applications
save the expression location for type constraint
application typing