Well-posedness and nonlinear smoothing for the “good” Boussinesq equation on the half-line