fix namespace comment
catch and re-throw spec exceptions in ExprAlloc