typechecks calls
successfully guards evaluation until later phases
made phase evaluation test pass