Type-assert vconverts to circumvent inference restriction on recursion

Type-assert vconverts to circumvent inference restriction on recursion #634