The element functor is completely working and tested.

Assignment 2.4 is complete now.
 The drop functor is completely working and tested.

Assignment 2.2 is complete now.