Fixing mistake in Determinant, simplifying the ID implementation, and adding Skeleton decompositions and several references