Giving stacks/instances more correct types/structures