McMartin/KLTypeList — pull request #3 by McMartin (2014-08-16 13:26:36+00:00)
Title: Implement features as type aliases

Re-implement `Size`, `Empty`, `Contains` and `Count` features as type aliases