Strongly-typed BEAM language