Fixed 2 tests and fixed type rule: function argument names are not fullsymbols.