adjustments and specific atom spec

Re-added the technique for declaring a specific atom in a type. As the
syntax plays all sorts of hell with the GFM.