finally making headway with agda
added natural number multiplication
removed smult (not sure how i want to handle that yet)