teach type checker that properties can be static and not only fields or methods