A simple DLR language for defining functional expressions.