S-Expression parsing, printing, and generics-based type reification