Update internal state of the typer

Merged E. Rivas requested to merge er433/typer/context into dev

type:internal

The typer (src/pass/10-checking) keeps information around about the context of E_application in an ad-hoc way through variables last and args. This MR improves the representation by keeping an application context structure where things are pushed/popped.

Edited by E. Rivas