language design update, bug fixes, depth analysis work