Implemented some Web IDL type checks
auto-merge staging into master