Sol will now combine pre-analyzed types with type deduced from initialization