[VSC-31] Remove intermediate conversion to S-exps

Problem: The current process for creating a JSON representation of the
AST requires an intermediate conversion to S-expression. This hurts
performance and makes it impossible to annotate all nodes with types.

Solution: Implement a library for converting the original AST directly
to JSON, eliminating the intermediate step.

Author: alexd1971