Add BOB reasoning engine: Metatron, APL, Lean4, Rust, universal-corpus, knowledge-chunks

initial commit