Fix printing for strings and add a few strings-related and I/O builtins
Update prelude with a strToInt and readInt functions
Add complete and working Factorial example