Alloy is dynamically typed scripting language implemented in Rust
Reference document describes the syntax and semantics of Alloy language. and if there is a mismatch between the implementation and the described behavior it should be considered a bug.