A practical but minimalist language