Don't generate bindings for names with polymorphic types.
Don't stop type-checking on the first error on a static form.
Update tests after latest changes to type-checking static.