[Zope] type checking