added shortcut notation for rule/linearization definitions
compact function/linearization definition in reference implementation