The typechecker method now returns a list of errors.
Fixed a bug: comparing types of variables failed. Replaced with .equals().
Added the sample from the course slides.
Merge branch 'JessevanAssen-master' into JessevanAssen-clientUI

Conflicts:
	JessevanAssen/src/org/uva/sea/ql/ast/type/Unknown.java