defined the church numerals one and two via substitution and plus

seemed simple but i am not sure how to verify i am correct.
church numerals are hard!

was supposed to define plus - defined exponent & multiply before I
figured out plus!