implement some prettyping-inspired display instead of textual