Call for testing: Restricting trait implementability and field mutability

This will get rid of so many getters that solely exist as read-only wrappers over a field.