Dependent Type and Polyvagal theory