Type Validation

I put simple type specs on the getter and setter methods.