Breaking the Gaussian barrier: Leveraging ReGVAMP to extend EKF and IEKF