Type parameterization should now permit HMC.