Extra helper metafunctions and judgments for PLT Redex