impls for val/def in TypecheckerImpl added