fixed Values missing expectedCast rule, added tests for Values typechecking