Cleanup: let and annotated let extension now use extension.Declaration