User facing struct representing concrete ops and composed functions.
Introduce variable to the system by creating Var
