check files 4,5
more check files
test check
matrix
no checkcast
bigint
fix some type names (ad hoc)
safe int