Add type consistency validation for actions

[pluralia]

It's necessary to add validation for actions that use declared types. For example, interface X has a property name, but type X from action has a property count -- validation should forbid it.

interface X {
    name: string
}

MyXRule:
    {X} count=NUMBER;

[Lotes]

I had a chat with @msujew , this task is harder than I thought (it was looking a very innocent 'write a validator' task). I will concentrate on a different task and release this issue for someone else.

At least the test file you can reuse.

[pluralia]

@Lotes, I take it. Thank you for your work!