documentation++ and removing unused ST4 imports throughout absyn