Prevent confidential data leaks at compile time with labelled types in Sigil