Sort open declarations

Works for open declarations in modules and signatures.
I think there's still one case missing, the MDOpen active pattern, but couldn't find a way to trigger that.
@dungpa if you can guide me I can add the missing case