Pokemon data constructor now uses record syntax