Translate function defs to QuickSpec eqns

...and prune them away at the start