adds annotated typing