trying out different packages within absyn