Merge Fixes pt1

Merging warning fixes in mathlib and usability in ConCommand