Make case classes final

These are not meant to be extended.