Implement field's type inference/check

[vmagamedov]

For example:

Field('someField', String, some_sg.c(S.this.some_field))

Infer which type S.this.some_field returns and check that it matches String type.