Ignore the distribution directories.
Add initial cabal file.
Add pre-existing annotation infrastructure.
Add type tags, and corresponding qualifiers.
Add expression and other related tags.
Update README with some basic installation instructions.