Title: Rename record: simple, position in the record definition.
Goal: Rename record `user' to `customer'.
Parameters: [{file,"rec01.erl"},{position,46},{text,"customer"}].
Documentation: A simple record renaming.