Changed the typing of decomp_atom to a function rather than a relation, since it is now defined as a lambda-abstraction.
Off-by-one error in decomp_atom.
Indentation.