Add another active patterns

Restructure TypedAstUtils for readability.