cay-the

Add Notes From Google Docs

Add maintanance badge

Add describer for string literals

Implement description ability of intermediate model

Improve readability of equivalence report