thoughts about how to implement the drop procedure
drop for rational number
drop for complex number
drop function within apply-generic
corresponding modifications of apply-to-two