Core changes:
Added list of predefined operators.
Added distinction between primitive and custom derivations.
Added definition of direct and indirect derivations.
Added the notion of temporal variables.
Added type conversions (implicit and explicit) and reinterpretations.
Made the method binding example more intuitive.