Add more attributes to openblock.  Change theory item objtype field to proper objtype.
Add more attributes to openblock.  Change theory item objtype field to proper objtype.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle