change type spec, regenerate docs