Added scalacheck test on definitions along with some PP errors fixes.