Minor compilation improvements

Drop Core implementation (replacement for IR) as it looks increasingly
unlikely this effort will be (sadly) continued. Also, it heavily relies
on implicits which increases some compilation time.