An attempt at STLC with explicit error messages.

It's too verbose and lacking source contexts.