Sem: putting annotated type in metadata