Added -Zexplicit-implicit-type-ascriptions

With the flag enabled, every implicit val/var/def definition must have
an explicit type ascription, otherwise an error is emitted.