Replaces a variable type with a corresponding atomic type.