Added optional constraints to Val, Muta, LVTuples