Update CONTRIBUTORS.geojson
begins compiling and debugging semcheck
updates semcheck and README TODO section
update semcheck
CHANGES