expr, decl, assign, type core