Better specialisation

This MR does two things:

• Removes the extra code that prevented specialisation in the corner case of a dictionary that carries no runtime evidence
• Make the inliner more eager to inline overloaded functions

See my long post on the ticket