Correct type information processing.

Backend now accept list of cons and list of strings.