Add abstract types