[lifting] LICENSE and Setup.hs