organized spec & added parans tests
inline sets & constraints