fix all tests

summary:
lots of @0ing the results of get_type to just get the type
rather than the type and lambdas. we'll probably have to
revisit these later to get the lambdas, but at least
we're back to having the tests pass!
remove old unused const-check