check_snl: start on canonicals check
check_snl: add Pair/PairIterator