Many impl improvements and displaying the implementors on the trait page