Results and research topics in equational type logic