expr, atomic-expr, insert, type definition