feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct…

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #126