put contracts on all metafunctions, render them