Updating section about type applications in CLS

Featuring:
- Bounds for units of measure parameters
- Typo fix in memoization
- Allowing unit of measure variable name to appear in units of measure arguments (would not make sense to have class types parameterized with units of measures otherwise)