added existential operator at end of .type
built