merge term_system and rewriting_system
change keyword "include" by "open"