Gearing up for type transformation. First whack at reifyType.
InCoreTC; generalized try & tries with new generalized observeR. Thanks, Drew!