assignability now implemented for Fields, Properties and Method return types