OA Type System