Implement trait aliases and replecement rules