Internal error

[flupe]

When compiling the Streamlet trace verifier, new issues are popping up:

1. Internal error from Agda.TypeChecking.Telescope:mustBePi, when compiling Assumptions.Assumptions.constructor. (When using --typed).
2. Also, compiling to untyped and then through WASM, the demo no longer works, throws: Too much recursion. This is new.

[flupe]

1st error is caused by projection elims which we did not handle.