Generation of typed tree representations of abstract syntax.