Add comparison interface#9

TimWhiting wants to merge 3 commits intomainkoka-community/std:mainfrom

compare-interfacekoka-community/std:compare-interfaceCopy head branch name to clipboard