poking around with syntax
initial work on auto-generated free algebras