Right Cancellative and Left Ample Monoids: Quasivarieties and Proper Covers