add: Some more logic to do tilde expansion/reduction