• Types
• Slots
• has $foo :isa(Int)
• has Int $foo; or has $foo Int;
• Typed Signatures
• Private methods
• Asynchrony
• Exceptions