Add function TildeExpand - untested right now