Use database for compiling operands.
Fix load_path and pretty printing bugs.