Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies