ProteinFasta: type-specific checks enforced in constructor