semantism: cosmetic fixes

    * use better variable names
    * fix missing import
    * ...