unit testing: improve framework to shorten compile time
unit testing: driver: report error on invalid test name
unit testing: framework for function result type checking
type checking: improve an error message
unit testing: test mapping and reduction
unit testing: test slicing, transposition