SPy: An interpreter and compiler for a fast statically typed variant of Python