Hint.Util
niceLambda
niceDotApp
simplifyExp