Remove the Rec base strategy since the strategy definitions are by default recursives.
This will avoid a semantic duplication of the fixpoint.
Merge branch 'master' of https://github.com/ptal/nominal-workbench