doc: add code examples
doc: add symbol, number and string regexps
doc: add type predicates