Infer annotation for defConst function