- Strong type for fund, for fundamental data types.
- CPO's for builtin operations.