Changing Squash to use Shadow data types