continued work at prelude structure. did some fixes by the way. but at the moment my test structure basicweb.sl wont compile :(.
fixed a major bug concerning the import of functions with free type variables
Merge branch 'master' of github.com:SL2Team/sl2
added a parser to the signature serializer spec. (used by some test cases)