get rid of 'inb' argument to simplifier, in favor of the one that is handed around in the monad
get rid of 'inb' argument to simplifier, in favor of the one that is handed around in the monad

darcs-hash:20061129033503-1a7c6-5c63a0cdb93c4c458fad57b9f2d040d7da706d6a

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc