move check to manifestness to semanticTiargs and other changes