[Tyr42]

Why not jump to prolog if you want to want to declare what the properties of the code are and have the compiler figure out how to actually do it?