advanced-types revised