Added function to gather type information from the GHC-typechecked source.
Added .gitignore.