WIP: typechecking with domains and evaluation with morphisms