Add more unfolded types

* It could be folded with more analysis about size of output.
Add documentation for conversion and add more builtin folded type