Fix 1: remove useless Empty module type
Fix 1: rewrite comment about Fclosure