extS(Members(x)) = ms(x)
ms(Cons(Member(Name(n),Position(Student)),x)) = Cons(n,ms(x))
ms(Cons(Member(Name(n),Position(Staff))  ,x)) = ms(x)
ms(Nil)                                       = Nil