Title: Order sorted equational computation with semantical sorts