Also memoize is_consistent_type

Commit

2 years ago

Also memoize is_consistent_type I called the data type property `isidentityfree`, which I think more accurately reflects what is being queried here.