Rather than via some format on the name of the identifier, this commit
changes the construction of Dispatcher to assume that functions are
implementations and other objects are type specifiers.
Also installs all types first, before any implementations.
Resolves#3.
Resolves#12.