Implementation validator for trait imports

Fixes pdt-eg/Core-Plugin#18