Figaro Programming Language and Core Libraries