tests for expt
bind expt
prototype
expt implemented
typecheck macro