made modifications for typed-literal