appendix: clarify the status of type annotations on lambda expressions