use new TermADT ctor ConstT
Test::Util: does_ok and doesnt_ok both return False on failure
add convertToListOfPairs and tests for it
add tests for converToP6Bool
add conversion Boolean (TBool) -> P6Bool
subst/subst-seq: use TList (of Pairs) rather than P6 arrays for param substitutions