cursed syntax idea: use
t (T)
to indicate that term t has type T
(yes this is actually unambiguous in my grammar ... I think)

cursed syntax idea: use
t (T)
to indicate that term t has type T
(yes this is actually unambiguous in my grammar ... I think)