Name constructors of most types

In a way, explicit constructors are bloat, but naming the constructors
gives the instances visible names in the debugger, which has been
invaluable.