Find more type constructors used in the program