trimming fat from supporting file

poset.v moved to strictorder.v
unused & non-helpful/redundant proofs removed
small file reorg