ast type-expr introduction