This was one of these cases where my knowledge of the compiler lacks, but at least now the compiler will complain if pretty printing lacks for newly added sourcesyntax declarations