Added types to global function class.
rewrote assertion testing processes to use implicit channel notation
working on converting the last examples to use implicit channels
implemented basic compilation method, still some outstandings - mostly storing type information during type-checking, and alignemnt woth libpi methods and datatypes
Merge branch 'implicit-channels' of github.com:lassenielsen/apims into implicit-channels
added type information handling to message parsing primitives
now compiles, only need to store typinginformation during typechecking
Fixed compilation bugs, now simple linking and message (string) passing produces compiling and running programs
more work on compilation
now typechecking stores the type-information necessary for the compilation - also inside the expressions
some more work on integer expressions using gnump datatypes
restricted link typechecing to use exact maxpid because it is the only thing that makes sense, and other small fixes
added bash script for automating multi-step compilation
corrected maxpid calculation such that the minimum number of participants is 1
*does not compile* Rename all has been implemented for terms, however it relies on RenameAll for types, which has not been declared or implemented yet
working on ReplaceAll, which is the first step og the generic compilation algorithm
implemented MpsTerm::ExtractDefinitions, and other details
compilation is starting to look promissing, a few gaps here and there...
Some of the test programs are beginning to compile...
now it builds