bel syntax for Parameter/Term/Statement using to_s

added rspec test