Added WithoutAttribute extension methods.
Added support for implicit and explicit conversion operators in contracts.
Added tests for Properties.