adding decidability of ℂ theory to README