python define type interface