moves categories to contract types
moves MethodMustReturnValueError to correct pkg
adds 'syntax' type to unerminated syntax contract diag
adds interface for accessibility errors
shuffles interfaces around
move away from AccessibilityContractDiagnostic
consolidated accessibility diagnostics
fixes some signature issues