fixed intrinsic predicates, closes #36