Type inference for the definition and module levels