Moving argument-free tactics out of the AST into a dedicated
"coretactics.ml4" file.