merge
Updating: adding an example: wclines.
merge
Updating: tidying up.
Updating: supporting fprint! and fprintln!
merge
Updating: minorly improving.
finished more boilerplate
fix merged
Started to compile Z3 bindings into compiler
merge