.gitignore .hi and .o files.
Add Haskell model and incomplete checker for Microscope files.