The Biscket programming language specifications