Add type specs and a Makfile.
Merge pull request #1 from tmcgilchrist/type_specs

Add type specs and a Makfile.