implemented replacement of extern function nodes inside solution files.
also implemented type_checking of solution files (only possible after checking of root-mch)

both is needed for the exec/enumeration of solutions e.g. lambda expressions