Update core.scm