core: attached inferred types to exported names that lack types