.travis.yml
restructuring of core type checker types
cleanup
updated lens