Initial makefile for typechecking and processing specifications.