Revert "Inline the lift function and make it clearer that is a mapping - relates to #2"
Revert "Inline the lift function and make it clearer that is a mapping - relates to #2"

This reverts commit eb96be5b7340d0870c4bc9a64d4f58fa2e20a0d6.

theor/Chessie,battermann/Chessie,mexx/Chessie,jo-osborne/Chessie,jo-osborne/Chessie,fsprojects/Chessie,fsprojects/Chessie,battermann/Chessie,theor/Chessie