post: language, logic, types; tweaks