renamed types and constraints section