On Constraining the Class of Transformational Languages · Study