Added skeleton for finite input acceptance of CARTA.
First version of accept without recursive calls.
Added two non-recursive test cases for CARTA's finite acceptance check.
Test case for simple num carta.
Fixed test and added one new
Bugfix: Unification on non-wellfounded terms raised exception.
Completed non-context tests and implementation for finite acceptance.
Code cleanup.
Test cases for nested CARTA finite acceptance w/o ctxt.