Physical

This branch adds an instance of the Node and Vertex modules and the result of the calling the Network.Make functor on them. I've been able to successfully port Merlin to this branch (moduio some path algorithms). I'm not entirely happy with the names, so I'm open to suggestions.