Limited the set of expressions that can be computed statically.
Made typechecking just check all the imported modules.
Added static expression cyclic reference checking.