Add saved content
If inference detects two different non-convertable types, throw an exception