(#14) Add autorequires and validation to systemproperty type. Improved
unit test coverage for #11.