Module migration
Bump package version
Strengthened ghc warnings
Added data type for coverage mode, migrated types to their own module