Add Inferrer.declare
Add special identifiers