Machinating Types