type matching voor return statements
type matching voor assign statements
type matching voor if, while, for
beginnetje aan function call type matching, ugh
type matching voor functies
Merge branch 'typecheck'