WyC: added ability to properly type check tuple assignments.
WyC: added test cases for variable declaration initialisers.
WyC: updated treatement of variable declarations now, so that current type is extracted from the initialiser.