Abstract Interpreter: understand attribute access on builtin types

[DinoV]

If we have a str, int, etc... we know what the attribute accesses will resolve to. We should understand that and be able to leave out the load attr and call the correct method directly.