k3-sle: We just need two hooks on cast/convert operation to handle all cases
k3-sle: Renamed specialized Xbase compiler
k3-sle: Almost completely handle implicit subtypes transtyping