pub fn typed_literal( ltrl: &Literal, knd_attn: &KindAnnotation, functions: FunctionsRef, ) -> MResult<Value>