(HTMLInputElementImp::handleMutation): Process the checked attribute
(HTMLInputElementImp::eval, HTMLInputElementImp::getChecked, HTMLInputElementImp::setChecked): Refine