fixed typecheck bug..now debugging llvm