Allow atomic terms (strings, numbers, ...) in rewriting
Builtin module "exact-number"