convertDefSimplify
cccSimplify now works on Core instead of CoreExpr and includes anybuR
LambdaPh and friends. Will probably overwrite Lambda etc later.