Rename steps to s
Reorder arguments so that quickcheck output makes sense
Add different implementation of lerp

TODO: Find example where they are different
Clean up and use safe-haskell