The Dependent Type and Polyvagal Theory