get rid of defs
tycheck on annotations
parser