Add unit tests for types

[Gudahtt]

We should find some way to unit test some of our more complex types, to ensure they're guaranteeing exactly what we think they are. In particular, the types used by the Base Controller (and soon the controller messaging system) are fairly complex and deserve additional validation.