Removed unneeded import
Alpha converted some record names
Removed unneeded appChain
Added long note on checkEverywhere