[WIP] Simply typed λ calculus

Alright, here goes.
And a de Bruijn index.