solver: check and set type to reconcile class and proto