Started typed locally nameless values (using de Bruijn levels in semantics).