syntactic-1.8: Generic abstract syntax, and utilities for embedded languages