Separated the condStack in to a separate StateT transformer.
Separated the condStack in to a separate StateT transformer.

This purpose of this is type safety.  Now, operations cannot be run
unless they pass through conditinalEval first.

Also, this make sense structually to seperate the data with which OPs
compute and the IfStack that defines program flow.

tphyahoo/haskoin