Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems