add demo of type checker
add information about built-in function
add information about type factory functions