synthetic type names; simple type