math.text: make it only work with integers.
tools.ps.macosx: use trim-head-slice, simpler.
cocoa.messages: name sender-stubs by signature since they are cached that way.
compiler.tree.propagation.simple: check output types length.
adding some summary.txt files.
tools.test: allow testing from the command-line.