Components: force many types, and do less typeChecks