Add more documentation for Djinn-lib
Better way to show HExpr