yuck, fix graph-lookup crash when evaluating type decl
yuck, fix graph-lookup crash when evaluating type decl

terrible hack that fakes a step from unit to unit

ucsd-progsys/nanomaly,ucsd-progsys/nanomaly,ucsd-progsys/nanomaly,ucsd-progsys/nanomaly,ucsd-progsys/nanomaly