removed runtime library, added type inspection