An implementation of basic program logic (booleans, conditionals, integer addition, subtraction, and multiplication) using only curried functions.