Added builtin support to IdentifierBinder and simplified DFGC
More examples
Added none builtin