current state of affairs: types are correctly threaded through the AST conversion,
but there's no inference.