Moving optional versus gradual before explaining gradual typing