typed-literal in sesame type output