a small building with a high ceiling that is primarily used to provide a covered space for coaches and carriages when they are not in use