Only return the right codelet symbols from the database (closes #46).