Use promote function from typesystem