documentation and licensing info added across absyn