bumped some versions
bumped check-types
bumped version to 0.0.13