fix lerp' to match usage

Follows the argument order in vector-space.
update for linear version of force-layout

More type class constraints in Logo
stylish-haskell
Wall: avoid name shadowing

In liftF & liftF2, `a` and `n` are distinct type variables,
since `f` must operate both on `n ` and `Complex n`