Convert some type definitions to type syntax