Switch `lift` to `unit` and `flift` to `lift` to be more in line with established monad terminology