Parse tree conversion totality for declarations.
Parse tree conversion totality for structures (and signatures)