Flexible composable type annotations as an afterthought