HCTL-related datatypes in Python