Added experimental typechecking to set.go.