Add type specs and a Makfile.