Added type checking system for properties