Advances in type-checking adsafe.js

- Added Event elements
- Bumped into higher-order function error message