be recognized as defined functions, even if we can't easily give them the correct type (becase the type system isn't in the cold load yet.)