Added analysis tests
Updated README with type mappings