Make Dependency generic
First draft of unbound procedures
Usable unbound procedures