Refine language design