Added monomorphic interfaces for `simpleBuchberger', `primeTestBuchberger', and `syzygyBuchberger'.