This checks the types of some HTML DOM attributes whose types currently clash with our implementation.