changed title from Type inference to Type inference and type checking (unification)
closed with commit 5d08f95e