Adding drop-length and take-length.

Added two simple but useful properties stating that dropping or taking with the length results in the empty/input list, respectively.