A Programming Language Approach To Smart Contract Privacy