Fix problems in Idris 0.9.12

Main problem was the `Force` quantity whose name somehow interfered
with the new lazy evaluation in Idris v0.9.12