highlight implicits + better semantics + wip substitutions