Yes, some sort of... language for programs, if you will. It could be carefully structured in a way that avoids ambiguity and encourages consistency.