Language.Hakaru.Syntax.CSE