Transactional Scripts in Contract Stacks