Update pretty-printer to show program using new concrete syntax
Replace format* functions with instances of Format typeclass

Just implemented for concrete syntax. Haven't converted G-Machine state format
functions yet.