Post #2590501

@trebor@types.pl Yeah that should be possible. You should also be able to implement the whole signature (opaquely) through a proposition with realignment, rather than postulating everything, and your suggestion would become a theorem.