reworked <pseudo> + ASTs now a proto-regex