Implement a type system that uses mixin-like
defaults rather than class-like hierarchies.