Nulltype, Luca Margadant in Zürich