Added grammar for conditionals inside parentheses.
Wrote recursive factorial test with the help of a shark.