Would be nice to document the difference between attributed and unattributed trees here. Is it just symbols assigned to memberdefs or overall typedness of ast nodes? E.g. if I typecheck a tree that doesn't have memberdef, how will it be classified?