New core.logic. Fix tests to comply with noms. Passing noms to terms is not very pleasant. Need to deal with it