Iversen, J. Type Checking Semantic Functions in ASDF. BRICS 2004, 11.