Luau Type Checking In Semantic Analysis