Made the type checker to also process signatures of abstract function
declarations as done in case of the descend into the body; this ensures
that the information about the formal parameters of abstract functions
is added to the configuration and can be used by the compiler.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git