A Prototypical Java-like Language with Records and Traits