Rewriting Properties of Combinators for Rudimentary Linear Logic