Small prototype-based high-level language, influences: Smalltalk (all values are objects), Self (prototypes), Eiffel (Design by Contract); allows system, low-level programming, compiler has means for late binding suppression, optimizing type predictio...