update Constant and BAut to compose-as-notation
typeclasses can infer truncatedness of Z:BAut X
BAut(Bool)