Worked on HseRename
Started paper about desugaring pattern matching.