Added tests of some compile-time computations.
Merge pull request #605 from vasslitvinov/add-param-type-computation-tests

Added tests of some compile-time computations.
In particular, param and type arguments, methods, local variables; compilerWarnings.

I stumbled over one thing that we do not do - see param-formal-in-ctor.future.
While there I wrote up a bunch of things that we do do.