Small fix in the FunctionType, and all the rascal tests succeed now!