encode parens in the space_{env,dec} functions