Any law that's not based on a stochastic process, since stochastic processes can be gamed with a little bit of cleverness. If you don't believe me, just look at HFT.
Do you want to invest your time worrying about types or actually programming? My issue with building these type-theoretic monstrosities is that now you suddenly have to tackle two problems instead of just one.
Just like the underlying machine code is hidden in modern languages, types should be totally abstracted away when programming in a high level language.