Misc: add proper dynamic binding abstraction
Typing: relaxed typer, for type-error recovery