implement substitute and fix step so that it doesnt call step on the output
implement search rules (inductive cases) -- bug in base case for call
Merge pull request #2 from thejinxters/part-2

implement substitute and fix step so that it doesnt call step on the output