add examples for control structures
custom extension, pattern matching
update readme
example non-null/nullable parameters