Revert "simplify checkWithPosition"

This reverts commit f9aa2d4af3a83e4704b27e91e3ebaafd8f97a8cf.

The simplification is not currently valid on ghc due to its lack of a
memory model, and could lead to errors.
bump version to 0.1.0.4