checkpolicy: libsepol: implement default type policy

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

This patch looks good to me. acked.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.13 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEYEARECAAYFAlD+qQEACgkQrlYvE4MpobNyRACghB2AsleDfi0zTmP1uBXXsfMs vmgAnRnzD4NFu0JPwKvFGaf3Q3Td9opn
=NC1V
-----END PGP SIGNATURE-----