Yes, the current version of Crosscheck definitely does not match the
DOM exactly. I've done some work to try to generate an accurate
interface, but it's incomplete and I haven't had much time to work on
it lately.
It's odd that type is not in the list, though, because it's definitely
on the object. But there's a lot of hackery in the Java/JavaScript
interface that could cause problems. I'll try to look into this if I
get some free time.
- Jason