Renamed main module to WaiLet.