417a34ecd1
* Remove typespec from element op. * Remove unused code from pretty printer.
* Remove typespec from element op. * Remove unused code from pretty printer.