Familiarize yourself with the Tagged C abstract syntax
Understand the general form of policies in the policy module type
Coming soon: interactive semantics and policies