now returns TRUE on success
now zero length lists match any length lists
starting to develop typeof/typealike in C, buggy