Add implemented sorts, verifier and benchmark classes