end of type introduction