Added some notes on the TCs design
Added support for top level patterns
Added a check to ensure all assocs are bound vars