Issue #24: Fix syntax errors, add missing decls.
#24: Implemented stack_element_is_non_empty_list().