better error reporting for try_subtype_trivial
revising state modules
acls without assume, and also handling revocations in acls2.fst; hiding local state in sep/counters.fst; revised model of maps and state in partialmap.fst and st/stperm.fst
tweaks while passing commit gate
missed a file