basic Mathics kernel