added type synonyms