Silq is a new high-level programming language for quantum computers