grammar: accept redef and visibility on module declaration