Finalized OAQA type system 0.2 #12
Partially changed the package structures, wrapper classes.