prettyTree : CaseTree vars -> Doc IdrisSyntax
prettyTree : Ref Ctxt Defs => Ref Syn SyntaxInfo => Env Term vars -> CaseTree vars -> Core (Doc IdrisSyntax)