Rewrite how dependent type registrations are implemented.  This reduces code size both in JS and C++.  There are some known bugs.  I'll get to those soon.