Add documentation for conversion and add more builtin folded type