This intention replaces variable type with corresponding atomic type.