Last commit before migration to UniMath
Directory Current_work added
Merge remote-tracking branch 'remotes/Foundations/master'
move Current_work into Foundations