Simplify semantics of traits by removing the @ForceOverride annotation and making override the default
Document inheritance of trait state gotchas