Major refactoring of implicit conversions. No tuples in return type, now using more usable case classes. Method dependent types calculation moved to place, where it's calculated only if it's necessary (possible performance problems should be resolved now).