This is still a bit of a WIP but trait implementations are now separate
and the compiler performs trait validations. Having trait
implementations separate allows for modules to refine existing objects
by implementing new traits for them, without having to somehow reopen or
redefine the entire object.