Init: explores declaration errors (discovers type issues)