isfixed(TypeVar) yields none
make dimensions private
import predicates into datashape