Optimize evaluation by explicitly representing known constructs

[chrismwendt]

For example, if Church numerals and functions for add and multiply are found, represent them as Integers and perform arithmetic on them instead of blindly applying reductions.