Wrote a first propdefs file, to go with the new Users module. Still does...

...n't do much...

But it's one more piece of infrastructure. Also updated the Graviton class to make
use of the propdefs for all modules.