A lightweight language for objects