bug appears to be resolved, the type unifier was allowing substitution of one primitive type for another