Support run strategy with term args to aterm

[Apanatshka]

Currently you can write a test expectation run my-test-strat(|"some term args", 1) to [[ my language snippet ]] but not run my-test-strat(|"some term args", 1) to MyATerm(Expectation("hi?")) (or rather, the latter gets interpreted as a run expectation + a parse-to expectation).