use non-snapshot antlr-denter-1.1
restore lookup on vars and type args
methods can't hide type args
checkpoint: add failing test

Invocations on disjunctions work a bit differently when the target isn't
a var; we need to create a custom var for it.
checkpoint, get things working on the compiler

Fails at runtime, so maybe something's broken on the compiler side as
well. But it looks right in the ir.