Check that `AssociatedType` type vars are not bound / do not have values

[sobolevn]

Right now, it is possible to create AssociatedType with bound type variables. This is not really supported during runtime. So, we need a check for this.