allow repeatable unit types when verification fail

when downstream verification fails, allow redo guessing of units using
the same type as primary choice instead of choosing unit type again.
add exercise for unit comparison
print some dots to ease cast exercise
fix ortographic mistake