cleaned up project (removed SystemF) and rename HM to Fun