Basic type_list implementation added