Oreole.Language.Term: cosmetics
Oreole.Language.Operator: comments are free