Removed the BGDW garbage collector as it incorrectly freed an element I still used and caused a segfault. Grouped type, t@ype, viewtype, viewt@ype into one sort for the constraint solver.