add a holSyntaxSyntax library, using HolKernel.syntax_fns