A Type Machine

aka.