Add the stdlib folder of wycs module.