Fix deftypevrx bug

deftypevr needs to be used instead of deftypevrx