Packages
checkers.flow
checkers.types
checkers.typestate