generate prettify (pass typechecker)

Need to check for correctness