Fixed some amzi-nesses in nativeshell.pl, still some issue with solve and clause/2