add more builtins
add exception, types
update overview
add module
add a note