Invalid type application breaks statics throwing exception

[7h3kk1d]

Trying to write this expression with an invalid type Int(7) or Int(Float) throws an exception as soon as you try to assign it a value.

This triggers a statics exception (Failure "type application in dynamics")

type x = Int(Float) in let y : x =  1

This alone triggers an exception (Failure "type application in dynamics") in dynamics:

type x = Int(Float) in let y : x

[isdiemer]

[isdiemer]

Labeled Tuples changes error message

[isdiemer]

I think the issue is in this line, where we naiively continue with the Ap without checking the normalized type of t1 and t2 - I need to look into what the allowed types should be

[isdiemer]

Adding the expression, and then the type annotation yields the old exception