Spectacles for TypeScript-Based Lens Development