Complete Type Inference for Simple Objects