Demuting libsyntax