Tighten up stac functions like is_edu

These functions now have type pre-requisites, for example,
is_edu(x) on any x not a Unit annotation is now False