Partially fixes #135

Typing of functions is fixed and it no longer accepts
var l = list_map addone ["a";"b";"c"];
where addone a = a + 1
Merge branch 'master' of https://github.com/GL-MPRI-2014/GL_MPRI_2014

Conflicts:
	src/script/Checker.ml