Renamed Abstractions, added toArrangement to typeclass Constrainable