Add missing variables into other compilers

Add the propositional header and header class into the other compliers.

Also sort the `yeild_hash`s in a sane manor to aid comparison.