updating lua types