General introduction of spores with type constraints
introduce Spore trait and explain how type constraints are expressed