started typecheck and renamed lukes variable