Implement trait lookup

[llogiq]

This is for looking up methods (which may come from an inherent impl or any trait implemented) and operations (either unary or binary).