Parser works, beta reduction somewhat works