- Added least upper bound definitions.
- Adapted property invalidator functions.