added type checkers
renamed times and dividedBy
renamed times and dividedBy, part 2
move head and tail to txt file to avoid red underlines
renamed times and dividedBy, part 3
matrix zeroes and identity
first batch operation added
more wk matrix-matrix multiplication tests
more batching
merge after conflicts... yuck