Start implementing dbus type system
More on DBus types
Rewrite parseDBusTy for Struct
Wrap parseDBusTy
Add asserts for totality checker