rename constructors of Arrange to start with A instead of R
split HaskLiteralsAndTyCons into two files
separate HaskProofStratified into PCF.v, HaskProgrammingLanguage.v, and HaskFlattener.v, major improvements to flattening algorithm
reorganize HaskProof files