Adds capability to check equivalency of typelists.