Check syntax and types of examples.

Closes #78
Fix style in Makefile.