Used checkArgumentTypes() more since the implementation in debug.js was changed.
Authored by: keess 2003-09-03
Parent: [r707]
Child: [r709]
