skip first argument of abstract implementation functions
treat abstract implementation fields as instance fields
link [ ] only if a type or function is found
oops