Updating: minor support for safe-guarding atstype_var