Use alf.nil_of as placeholder for non-ground nil terminators

Use alf.nil_of as placeholder for non-ground nil terminators #525