Added implementation of f/m/ingleton.
Added is_shared_ptr method to the cpp interface.
Artifactor servers all global states predicates. Updated README.md.
Removed old fashion file names.