Add type signatures to examples for documentation purposes
Enable more default language flags so that new annotated examples can be
parsed
up version to reflect extra default flags