add type inference heuristic
add type inference heuristic
add changelog file