WIP: need to refer to values in the environment inside types