optional fixes, function forwarding semantics

This bugfix release changes the semantics of function (previously buggy: was meant to fowrard, not copy, arguments) and also fixes optional usage for reference-based cases (e.g., usertypes).