mathlib

248f2c24 - more fixes

more fixes a mixture of: * adding the new TC arguments * dealing with underscores that expected TC args in certain positions * fixing elaboration problems