Add type-annotated interface specifications