Verify value categories of cast operations.

[xlauko]

Verify that cast operation produce correct value categories. Add constraints (type-traits) on conversion of lvalues and non-lvalues.

This will require decoupling of cast kinds to multiple operations.