added sp, inverse, div operators and fixed dynamic type generation based on binop results