verify all these identifiers actually exist in concrete scheme implementation / guard against typos in names. TODO: can this be extended to syntax?