Restore type names in Javascript for better debugging