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

Add type specs and a Makefile.