Cleaned obsolete classes and reworked adjusted Bitsequences to Finite typeclass.