Extra types that do not need to be handled directly.
These types are used for where constraints.
where
Used for constraints conditional on a bool.
bool
This is implemented for If when the condition is true.
If
true