A markup language for generating streaming text and stateful text-based user interfaces