Add section on size types, constraints and schemes