wrote some code to add symbolic large sets (NAT,NA1 and INT) on default inside the interp.
dont works because of list casts. (will be removed soon)