Stories with Tag type theory