Add a 'compute' before elaboration to expand type synonyms etc

Useful for giving unification a hint when inferring types of lambda,
case expressions, etc
Some Eff experimentation, adding a 'test' command

For allowing effects which might fail, and testing results. Still no
nice syntactic sugar for it though.
Merge branch 'master' of github.com:edwinb/Idris-dev