* fixed definition of removeFirst in list
* fixed DT check for imported qualified/unqualified typeconstructors in type definitions
* completed boxsort example