Finished TH work for annotations
Added module Annotation.Demo (it fails)