big change, change ExpInfo type inference, won't affect usage