Trying to use reverse state but failing
Use forward state references for types instead

Desugaring lambdas now work.

Had a go at connect but didn't quite finish. Should be doable (?)