k3-sle: Infer a new datatype whenever a type isn't found in the aspect inference process