Finished the porting of typing Lua standard libraries