Updating the type system to all be SymbolStructs now. Also, fixed lots of JavaDoc problems.