Simplify implementation of operators
Add support for parametric functions
Implement identity cast as a parametric operator