Added Ops Naming Checker
added pretty printer to debug type checker