Added type checking and kibit
Renamed State and fixed missing options
Filtered empty rejection lists
Improved rejection message
Fixed refactoring issue
Merge pull request #7 from whiskeysierra/feature/typed

core.typed integrated