adding proposals and a few papers on SBT and ISA descriptor languages