Boostrap: continued type inference for class definitions