#50 integer valued funs
Fixed #51: Fun([]) is now interpreted as zero