Position Paper: Goals of the Luau Type System. - Lily Brown; Andy Friesen; Alan Jeffrey (CoRR, 2021)