* refactor global options handling in toplevel/options