externalizes new stuff in api.Universe into quasiquoteUtils
typechecker hook for calling pattern matching quasiquotes