Updating: fixing ATSPATCKcon for nullary constructors.