Existentialtype