fixes for new types system (CCodegen + analyser)
README: update to current status