Trying to hack together some dependent core language with type inference.