Added test for marking traits so they can only be used by subclasses of a certain type.
Added test for ensuring a trait can only be added to a type that has a specific method.