Currently obj constructors capture type parameters, but binds don't. Fix this. (Possibly share more code with obj constructors? They're doing quite a bit of the same work, seems a shame to have so much duplication)