Efficient single inheritance

Efficient single inheritance via virtual structs and unification and nesting of structs and enums.
I tend to prefer `dynamic` to `virtual`. It also seems like it could potentially be reused more.