Remove unused code
Properly recognize the constructor if we are given its alternate name

I.e a constructor can now be found with the 'real' name of the class
(fully desugared and expanded) or the alternate name we hold (indirectly)
in the fType.
Properly do function exact match when the argument are references.