Split "lift" to declaration and implementation

[AlexInLog]

Now split implemented fully inside declaration file:

• Need to split it it declaration + implementation
• include implementation in all operators
• reuse create inside lift