WyC: updated treatement of variable declarations now, so that current type is extracted from the initialiser.
WyC: updated treatement of variable declarations now, so that current type is extracted from the initialiser.

hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler