Untyped connections

This removes connection types completely. They are gone.

(Doing this leads very quickly to a working frontend, but that's about two pull requests away right now.)