First stages of type-stack deserialisation