Slightly more unumbigous and correct subtyping relation