INS Specification Project

The INS repo will now be for the language Specification, this is the
upgrade to that