Add type specs and makefile.