add call to Minimizers.Write(), use type synonyms