New prime filter types in BL-algebras | Synapse