Update tools/ to new representation
Remove pat_implicit
Update bootstrap
PoC: testable recursive resolution

I'm lying, code generation is broken, but resolution works :)