Initial check-in of some type system stuff.
Fixed mistaken clobber of .gitignore entries
Added .ghci to .gitignore