ctxt -> Env
Make Env a proper datatype