Fix bug: incorrect type formatting of function parameters
Update examples