some rough edges related to syntax-case