Hint.Util

niceLambda

niceDotApp

simplifyExp