User-defined Value Type Definition Operators