corrected symbolic object creation, clean up anddocumentation of HoTT