add a helper function to quickly create a number constant
add more tests for the beta reduction
functions to print a term