Practical Fine-Grained Decentralized Information Flow Control Using Laminar