Progress on Type Checking AdSafe

- Defined a type for the banned fields (strings). Added relevant property in
  reject_name, etc. functions. Temporarily commented those to speed up.
- Started defininig DOM tree using weak locations
- Reached a function that traverses the DOM recursively (Still does not
  type-check)