Kvasir::Register types should be refactored to be empty

[odinthenerd]

In order to have lightning speed we need to refactor types like address to have an empty body. Things like nested type and values are not needed as they can be found through pattern matching. Plus this would mitigate my original sin of naming the nested types uppercase Type.