A Type Machine