Added list_remove function, first implementation of eliminating redundant role composition subsumers.