vlength/gvlength take "Proxy f" instead of "f a"

closes #30 and #29