Explicitly quantify free type variables of type signatures in FlatCurry
With this merge request the types of function definitions are now closed in the FlatCurry representation. This means that all type variables are explicitly universally quantified in the type.
Furthermore all types are now in prenex form.
Closes #67