making arrays needs the right type, needs valid length
type-checked while loop
Merge branch 'master' of https://github.com/nguillemot/csc435

Conflicts:
	a3/CbSemanticCheckVisitor.cs
	a3/FullTest.cs
type-checking for if statements
Merge branch 'master' of github.com:ornata/csc435