Complete the StlcArithmetic exercise in StlcProp