test cawmp tests

single to multiple line spec alg (s2mls) *
- pro: 1 finds alg using simplified data fast
- con: 2 alg writer could find alg using dict, not old spec, making * obsolete

1 is stronger
- is simpler
- s2mls connects specs together - i to o
	- different spec pointer instances for different data types in same spec
- generates specs
	- simplified data format, e.g. 132 for unordered list, "aa" for word, constants remain the same
- spec is [1,3,2]->[1,2,3], i, o labelled
- random, manual entry, mind reading versions
- doesn't remember computational verb, just enter single and multiline specs and saves (both x multiline) specs, displaying output as single lines
	- multi-predicate deep specs are together, and alg finds conjunction of specs
	- multiple i, o - chooses specs in conjunction
	- disjunction is already given
	- must test a spec before entering it
	- in random and mind reading modes, don't enter, just read specs
	- functions and variables in spec language, types - x too complex
- easy spec output to write alg more easily ()

s2mls is caw with specs in dict, with e.g. wrap
- uses dict of single line specs to check 
and
- x problems if simple i,o specs - generate one line spec (with mind read seen as version), one to many lines *** need caw
	- use s2mls if can't generate algs fast enough, (use anyway to generate specs from lists, strings)
- type checker could have used caw