Implemented With-clause validation LHS=RHS type #53