Add documentation for conversion and add more builtin folded type
Remove unused variable