Check RvalType as part of ConstraintCheckSyntax