Berndtsson, A. (2025). typesecure (Version 0.1.0) [Computer software]. https://github.com/arvid-berndtsson/typesecure