Can now semantic check power (^) operator

fixes #17