the bugs that plague RIDL stem from abstract classes. 

our chosen approach is to annotate the abstact syntax tree w/ enough
info so that the printing is a painless affair.