Implemented some Web IDL type checks