[alloy] operator<< is underconstrained #54
Description
Currently the operator<< attempts to print any types unconditionally. This is not SFINAE-friendly and results in a hard error.
A proper solution would require using iris::ADL_ostreamable.