misc. JIT work (not much progress)
thoughts on typechecking of AO