[temp.constr.atom.type] Fix "does not satisfies".
[temp.constr.atom.deduct] Add semicolons and use abbreviated syntax.