Added type checks to applications
Merge branch 'master' of github.com:soegaard/minipascal
Improved installation instructions in README