refine stmt
simple type
existential stmt