Duplicate field names disallowed #7
Description
Changes kernel.py to put the duplicate constructor and field names check into a wrapped version of declare so that the error line points to the right thing. Make the error message more infromative, but still short.