started the fundemental ackerman function
added a docstring and case for when M <= 0
assert statement added