A strictly typed PHP 7 library/framework suited for PhpSpec and striving for highest IDE intellisense comfort