Types within Z.BAVELLONI