Renames some identifiers for clarity (e.g Im -> I*m and m2 -> m*m)