Generalized string resize
Generalize appending a char to a string
Added printf-like formatting to atoms