Major update:
Het equality for Fin
Failed attempts to break apart Fin (pow2 (suc n))
Going tabulate route with bitView-fin