Add some ADT structs