make ann-checking avoid stack-consuming operations when no refinements are present
bootstrapped with... types?