Bounds on the dimension of lineal extensions (with Ryan Bushling)