Add the featherweight edition to the main repository